A Study of the PDGF Signaling Pathway with PRISM
نویسندگان
چکیده
In this paper, we apply the probabilistic model checker PRISM to the analysis of a biological system – the Platelet-Derived Growth Factor (PDGF) signaling pathway, demonstrating in detail how this pathway can be analyzed in PRISM. We show that quantitative verification can yield a better understanding of the PDGF signaling pathway.
منابع مشابه
Probabilistic Model Checking of the PDGF Signaling Pathway
In this paper, we apply the probabilistic symbolic model checker PRISM to the analysis of a biological system – the Platelet-Derived Growth Factor (PDGF) signaling pathway, demonstrating in detail how this pathway can be analyzed in PRISM. Moreover, we compare the results from verification and ODE simulation on the PDGF pathway and demonstrate by examples the influence of model structure, param...
متن کاملInteraction of viral oncogenic proteins with the Wnt signaling pathway
It is estimated that up to 20% of all types of human cancers worldwide are attributed to viruses. The genome of oncogenic viruses carries genes that have protein products that act as oncoproteins in cell proliferation and transformation. The modulation of cell cycle control mechanisms, cellular regulatory and signaling pathways by oncogenic viruses, plays an important role in viral carcinogenes...
متن کاملThe Role of Wnt Signaling Pathway on the Expression of TGFβ 1 and TGFβ 2 in Cultured Rat Cortical Astrocytes
Introduction: Astrocytes, the most abundant glia in the central nervous system, modulate neuronal survival and function. Astrocytic functions are mediated by synthesis and secretion of wide ranges of polypeptides through mechanism (s) poorly understood. Among these, TGFβs are synthesized and released by the astrocytes. In this study, the involvement of Wnt signaling pathway on the synthesi...
متن کاملStudy of PKA binding sites in cAMP-signaling pathway using structural protein-protein interaction networks
Backgroud: Protein-protein interaction, plays a key role in signal transduction in signaling pathways. Different approaches are used for prediction of these interactions including experimental and computational approaches. In conventional node-edge protein-protein interaction networks, we can only see which proteins interact but ‘structural networks’ show us how these proteins inter...
متن کاملInvestigation of SMAD3 and SMAD4 genes expression in CML patients and K562 cell line and association with chronic myeloid leukemia
Aim and Background: Chronic myeloid leukemia (CML) is a clonal myeloproliferative disorder with cytogenetic characterization of the abnormal Philadelphia chromosome. This chromosome results from a reciprocal translocation between chromosomes 9 and 22. This is an important signaling pathway in the process of cancer cell proliferation and apoptosis, as well as the pathogenesis of TGF-β disease, i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011